Knowledge representation and reasoning - PDFSEARCH.IO - Document Search Engine

Knowledge representation and reasoning
Results: 743

#	Item
31	Chainsaw: A Metareasoner for Large Ontologies Dmitry Tsarkov and Ignazio Palmisano University of Manchester, School of Computer Science, Manchester, UK {tsarkov, palmisai}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Semantic Web Logic Knowledge Knowledge representation Information science Reasoning Knowledge engineering Semantic reasoner Description logic Ontology Web Ontology Language Inference
32	Geographic Event Conceptualization: Where Spatial and Cognitive Sciences Meet Rui Li, Alexander Klippel, Jinlong Yang {rui.li, klippel, jinlong}@psu.edu GeoVISTA Center, Department of Geography 302 Walker Building, The P Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2011-05-01 16:39:57 Topology Knowledge representation Mathematics Cognition Computational topology Constraint programming Reasoning Region connection calculus Topological space Spatial relation Framing Topological conjugacy
33	Activity ReportProject-Team EXMO Computer-mediated communication of structured knowledge Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:10 Semantic Web Computing Information science Ontology Knowledge representation Information Knowledge engineering Web Ontology Language Resource Description Framework Knowledge representation and reasoning Description logic Upper ontology
34	ARTIFICIAL INTELLIGENCE: ENGINEERING, SCIENCE, OR SLOGAN? Nils J. Nilsson Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-05-14 18:27:16 Artificial intelligence Knowledge representation and reasoning Philosophy of artificial intelligence Commonsense reasoning Expert system John McCarthy Applications of artificial intelligence Artificial general intelligence AI winter
35	Formal Ontology and Principles and Prospects of Knowledge Organisation: An Axiomatic Approach Heinrich Herre Institut für Medizinische Informatik, Statistik und Epidemiologie Medizinische Fakultät, Universität Leipzig Add to Reading List Source URL: benking.de Language: English - Date: 2013-06-20 07:54:35 Ontology Information science Knowledge representation Technical communication Upper ontology General formal ontology Formal ontology Web Ontology Language Knowledge representation and reasoning Category of being Frame language Ontic
36	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Medical terminology Demography Causality Conditionals Philosophy of science Disease Knowledge representation and reasoning Medical diagnosis Medical sign
37	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
38	The Advent of Formal Diagrammatic Reasoning Systems Frithjof Dau SAP Research CEC Dresden Abstract. In knowledge representation and reasoning systems, diagrams Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:17:05 Diagrams Diagrammatic reasoning Existential graph Diagram Conceptual graph Euler diagram Venn diagram Logical graph Charles Sanders Peirce Resource Description Framework Logic Description logic
39	Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:30:59 Philosophy of language Programming paradigms Model theory Philosophy of mind Reasoning First-order logic Proposition Interpretation Logic programming Logic Inference Knowledge representation and reasoning
40	Considerations Regarding Human-Level Artificial Intelligence Nils J. Nilsson () Robotics Laboratory Department of Computer Science Stanford University Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-01-22 14:14:52 Artificial intelligence Programming paradigms Computational neuroscience Philosophy of artificial intelligence Futurology Intelligent agent Intelligence Knowledge representation and reasoning Logic programming Robotics Existential risk from artificial general intelligence Artificial general intelligence

UPDATE